Fix the build after AMD IOMMU patches.
authorKeir Fraser <keir@xensource.com>
Sun, 23 Sep 2007 11:56:11 +0000 (12:56 +0100)
committerKeir Fraser <keir@xensource.com>
Sun, 23 Sep 2007 11:56:11 +0000 (12:56 +0100)
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/hvm/svm/amd_iommu/amd-iommu-detect.c
xen/arch/x86/hvm/svm/amd_iommu/pci-amd-iommu.c

index 8a8340cad0148bf20b41a29680640d8e62275755..c4c8af3c92659fb7316d438965c0e342fb8c76e2 100644 (file)
@@ -103,7 +103,7 @@ int __init get_iommu_capabilities(u8 bus, u8 dev, u8 func, u8 cap_ptr,
 
     if ( (mmio_bar == 0) || ( (mmio_bar & 0x3FFF) != 0 ) ) {
         dprintk(XENLOG_ERR ,
-            "AMD IOMMU: Invalid MMIO_BAR = 0x%lx\n", mmio_bar);
+                "AMD IOMMU: Invalid MMIO_BAR = 0x%"PRIx64"\n", mmio_bar);
         return -ENODEV;
     }
 
index 260589f5604da7a75327d00bf4e1b698610f442a..8b99a78257a4771ee3cdb81e79cf4ec5701eb22d 100644 (file)
@@ -224,8 +224,8 @@ struct amd_iommu *find_iommu_for_device(int bus, int devfn)
     return NULL;
 }
 
-void amd_iommu_setup_domain_device(struct domain *domain,
-        struct amd_iommu *iommu, int requestor_id)
+void amd_iommu_setup_domain_device(
+    struct domain *domain, struct amd_iommu *iommu, int requestor_id)
 {
     void *dte;
     u64 root_ptr;
@@ -244,8 +244,8 @@ void amd_iommu_setup_domain_device(struct domain *domain,
         root_ptr, hd->domain_id, hd->paging_mode);
 
     dprintk(XENLOG_INFO, "AMD IOMMU: Set DTE req_id:%x, "
-        "root_ptr:%lx, domain_id:%d, paging_mode:%d\n",
-        requestor_id, root_ptr, hd->domain_id, hd->paging_mode);
+            "root_ptr:%"PRIx64", domain_id:%d, paging_mode:%d\n",
+            requestor_id, root_ptr, hd->domain_id, hd->paging_mode);
 
     spin_unlock_irqrestore(&iommu->lock, flags);
 }